Skip to content

Upgrade Sorbet and Tapioca#839

Merged
dersam merged 2 commits intomainfrom
Alex/upgrade-sorbet
Mar 5, 2026
Merged

Upgrade Sorbet and Tapioca#839
dersam merged 2 commits intomainfrom
Alex/upgrade-sorbet

Conversation

@amomchilov
Copy link
Contributor

@amomchilov amomchilov commented Mar 4, 2026

To import RBIs of gems that use RBS signatures, we need Tapioca 0.17.8 or higher. This PR bumps Tapioca, but also Sorbet. Due to some incompatibilities, the two have to be bumped together.

Needed for #839.

Easier to review commit-by-commit. The second commit is all just RBI updates.

@amomchilov
Copy link
Contributor Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@amomchilov amomchilov marked this pull request as ready for review March 4, 2026 23:39

private

#: (singleton(Roast::Cog)) -> Array(Symbol, singleton(Cog))
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This was never valid syntax. Fixed.

# ### See Also
# - `chat` - Pure LLM interaction without local system access
#
#: (?Symbol?) {(Roast::Cogs::Agent::Input, untyped, Integer) [self: Roast::CogInputContext] -> (String | void)} -> void
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

String | void isn't a valid type.

Either you return something (like a String), or you don't void. Returning either something or nothing, means you always return something.

String | nil (i.e. String?) would be the closest to the intent here, but that would require users to always have their block return either a String or literal nil. This would break many existing uers, including the examples in the doc comment.

So then we'd want String | top , but that's just equivalent to top. It would be nice to keep the union as a form of user documentation, but Sorbet forces you to reduce it to top.

Copy link
Contributor

dersam commented Mar 5, 2026

Merge activity

  • Mar 5, 1:32 PM UTC: A user started a stack merge that includes this pull request via Graphite.
  • Mar 5, 1:33 PM UTC: @dersam merged this pull request with Graphite.

@dersam dersam merged commit 2b120e0 into main Mar 5, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants